Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

BC_AR_GS_RELATED_PROCESS を combine にして，Cmd受付処理の頻度をあげる (2nd OBC) #533

Merged
merged 1 commit into from
Apr 9, 2023
Merged

BC_AR_GS_RELATED_PROCESS を combine にして，Cmd受付処理の頻度をあげる (2nd OBC) #533

merged 1 commit into from
Apr 9, 2023

Conversation

meltingrabbit
Copy link
Collaborator

概要

BC_AR_GS_RELATED_PROCESS を combine にして，Cmd受付処理の頻度をあげる (2nd OBC)

Issue

NA

詳細

検証結果

CI が通ればOK

@meltingrabbit meltingrabbit added the priority::medium priority medium label Apr 9, 2023
@meltingrabbit meltingrabbit self-assigned this Apr 9, 2023
chutaro
chutaro approved these changes Apr 9, 2023
View reviewed changes
Copy link
Contributor

@chutaro chutaro left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

CI落ちてるのなぜかはわかりませんが内容的にはapproveです

@meltingrabbit
Copy link
Collaborator Author

CIなんでだろう．S2E のバージョンupかなぁ．

@meltingrabbit
Copy link
Collaborator Author

c2a-core/.github/workflows/build_with_s2e.yml

Line 11 in ed7ca96

S2E_CORE_VERSION: v5.0.0
これだわ

@meltingrabbit meltingrabbit mentioned this pull request Apr 9, 2023
Merged
@meltingrabbit
Copy link
Collaborator Author

#534 でrebaseします

@meltingrabbit meltingrabbit force-pushed the feature/change_cimbie_mobc_di_in_2nd_obc_tl branch from 7687e0f to 1cdc28a Compare April 9, 2023 12:57
@meltingrabbit
Copy link
Collaborator Author

とおったのでマージ

@meltingrabbit meltingrabbit merged commit 139854e into develop Apr 9, 2023
@meltingrabbit meltingrabbit deleted the feature/change_cimbie_mobc_di_in_2nd_obc_tl branch April 9, 2023 13:36
@chutaro chutaro mentioned this pull request May 26, 2023
Merged
20 tasks
@meltingrabbit meltingrabbit mentioned this pull request Jun 1, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@chutaro chutaro chutaro approved these changes

@ToshiAki64 ToshiAki64 Awaiting requested review from ToshiAki64

Assignees

@meltingrabbit meltingrabbit

Labels
priority::medium priority medium
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@meltingrabbit @chutaro